#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

const int MOD = 1000000007;

int main() {
    int n;
    cin >> n;
    
    vector<int> m(n);
    for (int i = 0; i < n; i++) {
        cin >> m[i];
    }
    
    // 将M_i按从小到大排序
    sort(m.begin(), m.end());
    
    long long result = 1;
    
    for (int i = 0; i < n; i++) {
        // 当前兔子可选编号数为：M_i - 已用编号数
        long long choices = m[i] - i;
        
        // 如果可选编号数 <= 0，说明无法满足要求
        if (choices <= 0) {
            cout << 0 << endl;
            return 0;
        }
        
        // 累乘并取模
        result = (result * choices) % MOD;
    }
    
    cout << result << endl;
    
    return 0;
}